Termination of the given ITRSProblem could not be shown:
↳ ITRS
ITRS problem:
The following domains are used:
z
The TRS R consists of the following rules:
f(TRUE, x) → f(&&(>@z(x, y), >=@z(x, 0@z)), y)
The set Q consists of the following terms:
f(TRUE, x0)